/**
 * <copyright>
 * </copyright>
 *
 * 
 */
package edu.pku.sei.AMT.resource.amtscript;

public interface IAmtscriptProblem {
	public String getMessage();
	public edu.pku.sei.AMT.resource.amtscript.AmtscriptEProblemSeverity getSeverity();
	public edu.pku.sei.AMT.resource.amtscript.AmtscriptEProblemType getType();
	public java.util.Collection<edu.pku.sei.AMT.resource.amtscript.IAmtscriptQuickFix> getQuickFixes();
}
